Groundwater in collapsing residential ground

Residential History and Groundwater Modeling

Residential History and Groundwater Modeling: Gallagher et al. Respond

Estimating Residential Indoor Air Impacts Due to Groundwater Contamination

The reliability of making risk-based corrective action (RBCA) decisions using ASTM methods was evaluated. Indoor air quality (IAQ) testing results for 153 residential homes in 1998 at a site in Denver, Colo., were evaluated in this study. Decisions regarding groundwater remediation and indoor air mitigation in residences located over a shallow groundwater plume contaminated with chlorinated com...

Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules

We show that termination is decidable for rewrite systems that contain shallow and right-linear rules, collapsing rules, and rightground rules. This class of rewrite systems is expressive enough to include interesting rules. Our proof uses the fact that this class of rewrite systems is known to be regularity-preserving and hence the reachability and joinability problems are decidable. Decidabil...

Collapsing Closures

A description in the Jacobs and Langen domain is a set of sharing groups where each sharing group is a set of program variables. The presence of a sharing group in a description indicates that all the variables in the group can be bound to terms that contain a common variable. The expressiveness of the domain, alas, is compromised by its intractability. Not only are descriptions potentially exp...